Varieta algeber

Tento článek potřebuje úpravy.

Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.

---

Konkrétní problémy: Chybí formální definice; pořadí sekcí je zmatené, některá místa odkazují na místa níže

Varieta algeber je pojem z univerzální algebry. Budiž ${\displaystyle \sigma }$ signatura. Označme ${\displaystyle \mathbb {A} _{\sigma }}$ třídu všech algeber s touto signaturou. Potom se třída ${\displaystyle \mathbb {B} \subseteq \mathbb {A} }$ nazývá varietou, pokud existuje soustava identit takových, že do ${\displaystyle \mathbb {B} }$ spadají právě ty algebry z ${\displaystyle \mathbb {A} }$, které tyto identity splňují. Identita je zápis vyžadující rovnost dvou termů (viz příklad).